In this era of increased polarization of opinion and contentious disagreement, CRITICAL REASONING presents a cooperative approach to critical thinking and formation of beliefs. CRITICAL REASONING emphasizes the importance of developing and applying analytical skills in real life contexts. This book is unique in providing multiple, diverse examples of everyday arguments, both textual and visual, including hard to find long argument passages from real-life sources. The book provides clear, step-by-step procedures to help you decide for yourself what to believe--to be (...) a consumer of information in our contemporary "world of experts.". (shrink)

In the Foundations of the Metaphysics of Morals Kant presented a method for discovering what morality requires us to do in any situation and claimed that it is a method everyone can use. The method consists in testing one's maxim against the requirement stated in the formulations of the categorical imperative. There has been endless discussion of the adequacy of Kant's method in giving moral guidance, but there has been little effort to situate Kant's view of ethical method in its (...) historical context. In this paper I try to do so. I take the label "method of ethics" from the work of Henry Sidgwick. A method of ethics, he says, is any rational procedure by which we determine what it is right for an individual to do or what an individual ought to do. Since the moralists I want to consider do not all think of morality as rational, I shall broaden the notion by saying that a method is any systematic or regular procedure, rational or not, by which we determine what morality requires... (shrink)

This introduction to one of the liveliest and most popular fields in philosophy is written specifically for a beginning readership with no background in philosophy or science. Step-by-step analyses of the key arguments are provided and the philosophical heart of the issues is revealed without recourse to jargon, maths, or logical formulas. The book introduces Einstein's revolutionary ideas in a clear and simple way, along with the concepts and arguments of philosophers, both ancient and modern that have proved of lasting (...) value. Specifically, the theories of the ancient Greek philosophers, Zeno, Euclid and Parmenides are considered alongside the ideas of Newton, Leibniz and Kant as well as the giants of twentieth-century physics, Einstein and Lorentz. The problems at the heart of the philosophy of space and time, such as change, motion, infinity, shape, and inflation, are examined and the seismic impact made by relativity theory and quantum theory is assessed in the light of the latest research. The writing is lucid and entertaining, allowing a beginning readership to grasp some difficult concepts while offering the more experienced reader a succinct and illuminating presentation of the state of the debate. "Space, Time and Einstein" shows the reader the excitement of scientific discovery and the beauty of theory in the search for answers to these fundamental questions. (shrink)

In this paper I wish to propose and defend a form of the Representative Theory of Perception. According to this version of the theory, when a subject perceives some object x to be in a state P1 he does so by being aware of some modfication M1 of some object E. The subject's way of perceiving any one of a range of objects x,y,z, … is that of being aware of some modification of E. It will be a necessary condition (...) of someone's perceiving x to have property P1 that E be modified in some way. And in order for the modifications of E to be representations, a given property P1 will need to be causally related, characteristically, to one or more specific modifications, M1,M2, … Mn, of E. symbolized by ‘X'.). (shrink)

Girard and Reynolds independently invented System F to handle problems in logic and computer programming language design, respectively. Viewing F in the Curry style, which associates types with untyped lambda terms, raises the questions of typability and type checking. Typability asks for a term whether there exists some type it can be given. Type checking asks, for a particular term and type, whether the term can be given that type. The decidability of these problems has been settled for restrictions and (...) extensions of F and related systems and complexity lower-bounds have been determined for typability in F, but this report is the first to resolve whether these problems are decidable for System F. This report proves that type checking in F is undecidable, by a reduction from semi-unification, and that typability in F is undecidable, by a reduction from type checking. Because there is an easy reduction from typability to type checking, the two problems are equivalent. The reduction from type checking to typability uses a novel method of constructing lambda terms that simulate arbitrarily chosen type environments. All of the results also hold for the λI-calculus. (shrink)

‘Now that all parts and members of the mortal creature had been fashioned into one, seeing that it must be the creature's lot for reasons of necessity to spend its life in the domain of fire and air and that it was like to waste away being continually melted and emptied by their onslaught, the gods contrived reinforcement for it. Blending a being kindred to man's being but with different shapes and senses, they brought it into life, a second kind (...) of living creature. Trees, plants, and seeds are these, and those among them which are cultivated types to-day have arrived at their mild benevolence to man only because they have been civilized by his husbandry; formerly only the wild kinds existed, for these are older than the cultivated. Now everything that is alive, whatever it be, may perfectly correctly and of right be termed ‘a living creature’. The creature now in question has at any rate the third kind of soul which our discourse told us is situated between the midriff and the navel. This kind of soul has nothing of opining or of reasoning mind, but it has sensation of pleasant and painful with attendant desires. For continually it is subject to every impression. Its manner of birth has not granted it the power to revolve by itself in itself upon itself rejecting outside motion and asserting its own and thus by beholding all things by native endowment of soull to reason out aught of its own concerns. So it has life and is not some second being other than a living creature, but it stays fixed, rooted, motionless, for it has never been granted movement of its own initiation.’. (shrink)

What is the function of moral principles within the body of moral knowledge? And what must be the nature of moral principles in order for them to carry out this function? A specific set of answers to these questions is widely accepted among moral philosophers – so widely accepted as almost to constitute a sort of orthodoxy. The answers embody a view of the place of principles within the body of morality which crosses the lines between cognitivism and non-cognitivism. Though (...) I have put the question in cognitivist terms and shall discuss it in those terms, I think a similar question and a more or less parallel discussion could be given in non-cognitivist terms. Perhaps the time-honoured debate between the two positions can be suspended, at least temporarily, while we examine, not the nature of morality, but its structure. (shrink)

Although the existence of tachyons is not ruled out by special relativity, it appears that causal paradoxes will arise if there are tachyons. The usual solutions to these paradoxes employ some form of the reinterpretation principle. In this paper it is argued first that the principle is incoherent, second that even if it is not, some causal paradoxes remain, and third, the most plausible “solution,” which appeals to boundary conditions of the universe, will conflict with special relativity.

It is a well-known fact that of the three governors of Britain who were responsible for the Flavian advance of the northern frontier two had had previous military experience in the area in which they were now called upon to operate. Petilius Cerialis was in command of the IXth legion during the critical times of Boudicca's revolt . And although in that capacity he succeeded in losing the larger part of his forces, his subsequent appointment by Vespasian to the command (...) of the army despatched to reconquer the Rhine frontier from the revolted Civilis suggests that his military record was more distinguished than Tacitus would imply. Agricola has still better claims to be considered as a British specialist. In 61 as tribunus militum he was serving with distinction on the staff of Suetonius Paulinus in N. Wales , and in 70 he was sent as legatus legionis to the XXth legion at Chester, in which capacity he served under Cerialis during the initial stages of the northward advance . Of Julius Frontinus, the successor of Cerialis and predecessor of Agricola, we are less well informed; and it is the purpose of this note to show that in all probability he too had had previous military experience in Britain. (shrink)